#include <stdio.h>
extern void foo();
int b = 0;

void ext() {
}

int main() {
	foo();
	printf("main called\n");
while(1);
	return 0;
}
